30

Compilation of the ELECTRE reactive language into finite transition systems

Year:
1995
Language:
english
File:
PDF, 2.07 MB
english, 1995
35

Structural translation from Time Petri Nets to Timed Automata

Year:
2006
Language:
english
File:
PDF, 360 KB
english, 2006
39

Hybrid Verifications of Reactive Programs

Year:
1999
Language:
english
File:
PDF, 213 KB
english, 1999
47

Tracer Dispersion in Rough Open Cracks

Year:
1998
Language:
english
File:
PDF, 673 KB
english, 1998